HIV2_io
id_total, 1.995409658
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.515271673
id_inclusion_check_mod_p, 0.017719032
id_groebner_time, 0.802277929
id_beautifulization, 0.268650362
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 866.0
